//This file was generated from (Academic) UPPAAL 4.1.14 (rev. 5212), March 2013

/*

*/
//NO_QUERY

/*

*/
A[] not (POD_MOVEMENT(2).Station4 && POD_MOVEMENT(3).Station4)

/*

*/
A[] not (POD_MOVEMENT(1).Station4 && POD_MOVEMENT(3).Station4)

/*

*/
A[] not (POD_MOVEMENT(1).Station4 && POD_MOVEMENT(2).Station4)

/*

*/
A[] not (POD_MOVEMENT(0).Station4 && POD_MOVEMENT(3).Station4)

/*

*/
A[] not (POD_MOVEMENT(0).Station4 && POD_MOVEMENT(2).Station4)

/*

*/
A[] not (POD_MOVEMENT(0).Station4 && POD_MOVEMENT(1).Station4)

/*

*/
A[] not (POD_MOVEMENT(2).Station3 && POD_MOVEMENT(3).Station3)

/*

*/
A[] not (POD_MOVEMENT(1).Station3 && POD_MOVEMENT(3).Station3)

/*

*/
A[] not (POD_MOVEMENT(1).Station3 && POD_MOVEMENT(2).Station3)

/*

*/
A[] not (POD_MOVEMENT(0).Station3 && POD_MOVEMENT(3).Station3)

/*

*/
A[] not (POD_MOVEMENT(0).Station3 && POD_MOVEMENT(2).Station3)

/*

*/
A[] not (POD_MOVEMENT(0).Station3 && POD_MOVEMENT(1).Station3)

/*

*/
A[] not (POD_MOVEMENT(2).Station2 && POD_MOVEMENT(3).Station2)

/*

*/
A[] not (POD_MOVEMENT(1).Station2 && POD_MOVEMENT(3).Station2)

/*

*/
A[] not (POD_MOVEMENT(1).Station2 && POD_MOVEMENT(2).Station2)

/*

*/
A[] not (POD_MOVEMENT(0).Station2 && POD_MOVEMENT(3).Station2)

/*

*/
A[] not (POD_MOVEMENT(0).Station2 && POD_MOVEMENT(2).Station2)

/*

*/
A[] not (POD_MOVEMENT(0).Station2 && POD_MOVEMENT(1).Station2)

/*

*/
A[] not (POD_MOVEMENT(2).Station1 && POD_MOVEMENT(3).Station1)

/*

*/
A[] not (POD_MOVEMENT(1).Station1 && POD_MOVEMENT(3).Station1)

/*

*/
A[] not (POD_MOVEMENT(1).Station1 && POD_MOVEMENT(2).Station1)

/*

*/
A[] not (POD_MOVEMENT(0).Station1 && POD_MOVEMENT(3).Station1)

/*

*/
A[] not (POD_MOVEMENT(0).Station1 && POD_MOVEMENT(2).Station1)

/*

*/
A[] not (POD_MOVEMENT(0).Station1 && POD_MOVEMENT(1).Station1)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad9 && POD_MOVEMENT(3).Crossroad9)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad9 && POD_MOVEMENT(3).Crossroad9)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad9 && POD_MOVEMENT(2).Crossroad9)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad9 && POD_MOVEMENT(3).Crossroad9)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad9 && POD_MOVEMENT(2).Crossroad9)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad9 && POD_MOVEMENT(1).Crossroad9)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad8 && POD_MOVEMENT(3).Crossroad8)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad8 && POD_MOVEMENT(3).Crossroad8)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad8 && POD_MOVEMENT(2).Crossroad8)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad8 && POD_MOVEMENT(3).Crossroad8)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad8 && POD_MOVEMENT(2).Crossroad8)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad8 && POD_MOVEMENT(1).Crossroad8)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad7 && POD_MOVEMENT(3).Crossroad7)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad7 && POD_MOVEMENT(3).Crossroad7)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad7 && POD_MOVEMENT(2).Crossroad7)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad7 && POD_MOVEMENT(3).Crossroad7)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad7 && POD_MOVEMENT(2).Crossroad7)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad7 && POD_MOVEMENT(1).Crossroad7)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad6 && POD_MOVEMENT(3).Crossroad6)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad6 && POD_MOVEMENT(3).Crossroad6)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad6 && POD_MOVEMENT(2).Crossroad6)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad6 && POD_MOVEMENT(3).Crossroad6)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad6 && POD_MOVEMENT(2).Crossroad6)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad6 && POD_MOVEMENT(1).Crossroad6)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad5 && POD_MOVEMENT(3).Crossroad5)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad5 && POD_MOVEMENT(3).Crossroad5)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad5 && POD_MOVEMENT(2).Crossroad5)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad5 && POD_MOVEMENT(3).Crossroad5)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad5 && POD_MOVEMENT(2).Crossroad5)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad5 && POD_MOVEMENT(1).Crossroad5)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad4 && POD_MOVEMENT(3).Crossroad4)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad4 && POD_MOVEMENT(3).Crossroad4)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad4 && POD_MOVEMENT(2).Crossroad4)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad4 && POD_MOVEMENT(3).Crossroad4)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad4 && POD_MOVEMENT(2).Crossroad4)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad4 && POD_MOVEMENT(1).Crossroad4)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad3 && POD_MOVEMENT(3).Crossroad3)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad3 && POD_MOVEMENT(3).Crossroad3)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad3 && POD_MOVEMENT(2).Crossroad3)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad3 && POD_MOVEMENT(3).Crossroad3)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad3 && POD_MOVEMENT(2).Crossroad3)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad3 && POD_MOVEMENT(1).Crossroad3)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad2 && POD_MOVEMENT(3).Crossroad2)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad2 && POD_MOVEMENT(3).Crossroad2)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad2 && POD_MOVEMENT(2).Crossroad2)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad2 && POD_MOVEMENT(3).Crossroad2)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad2 && POD_MOVEMENT(2).Crossroad2)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad2 && POD_MOVEMENT(1).Crossroad2)

/*

*/
A[] not (POD_MOVEMENT(2).Crossroad1 && POD_MOVEMENT(3).Crossroad1)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad1 && POD_MOVEMENT(3).Crossroad1)

/*

*/
A[] not (POD_MOVEMENT(1).Crossroad1 && POD_MOVEMENT(2).Crossroad1)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad1 && POD_MOVEMENT(3).Crossroad1)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad1 && POD_MOVEMENT(2).Crossroad1)

/*

*/
A[] not (POD_MOVEMENT(0).Crossroad1 && POD_MOVEMENT(1).Crossroad1)

/*

*/
E<>POD(3).Move

/*

*/
E<>POD(2).Move

/*

*/
E<>POD(1).Move

/*

*/
E<>POD(0).Move

/*

*/
E<>POD(3).TakePassenger

/*

*/
E<>POD(2).TakePassenger

/*

*/
E<>POD(1).TakePassenger

/*

*/
E<>POD(0).TakePassenger

/*

*/
E<>POD(3).DropPassenger

/*

*/
E<>POD(2).DropPassenger

/*

*/
E<>POD(1).DropPassenger

/*

*/
E<>POD(0).DropPassenger
